-
1 бинарное соответствие
Русско-английский словарь по электронике > бинарное соответствие
-
2 бинарное соответствие
Русско-английский словарь по радиоэлектронике > бинарное соответствие
-
3 бинарное соответствие
Русско-английский научно-технический словарь Масловского > бинарное соответствие
-
4 бинарное соответствие
Mathematics: binary correspondenceУниверсальный русско-английский словарь > бинарное соответствие
-
5 Boole, George
SUBJECT AREA: Electronics and information technology[br]b. 2 November 1815 Lincoln, Englandd. 8 December 1864 Ballintemple, Coounty Cork, Ireland[br]English mathematician whose development of symbolic logic laid the foundations for the operating principles of modern computers.[br]Boole was the son of a tradesman, from whom he learned the principles of mathematics and optical-component manufacturing. From the early age of 16 he taught in a number of schools in West Yorkshire, and when only 20 he opened his own school in Lincoln. There, at the Mechanical Institute, he avidly read mathematical journals and the works of great mathematicians such as Lagrange, Laplace and Newton and began to tackle a variety of algebraic problems. This led to the publication of a constant stream of original papers in the newly launched Cambridge Mathematical Journal on topics in the fields of algebra and calculus, for which in 1844 he received the Royal Society Medal.In 1847 he wrote The Mathematical Analysis of Logic, which applied algebraic symbolism to logical forms, whereby the presence or absence of properties could be represented by binary states and combined, just like normal algebraic equations, to derive logical statements about a series of operations. This laid the foundations for the binary logic used in modern computers, which, being based on binary on-off devices, greatly depend on the use of such operations as "and", "nand" ("not and"), "or" and "nor" ("not or"), etc. Although he lacked any formal degree, this revolutionary work led to his appointment in 1849 to the Chair of Mathematics at Queen's College, Cork, where he continued his work on logic and also produce treatises on differential equations and the calculus of finite differences.[br]Principal Honours and DistinctionsRoyal Society Medal 1844. FRS 1857.BibliographyBoole's major contributions to logic available in republished form include George Boole: Investigation of the Laws of Thought, Dover Publications; George Boole: Laws of Thought, Open Court, and George Boole: Studies in Logic \& Probability, Open Court.1872, A Treatise on Differential Equations.Further ReadingW.Kneale, 1948, "Boole and the revival of logic", Mind 57:149.G.C.Smith (ed.), 1982, George Boole \& Augustus de Morgan. Correspondence 1842– 1864, Oxford University Press.—, 1985, George Boole: His Life and Work, McHale.E.T.Bell, 1937, Men of Mathematics, London: Victor Gollancz.KF
См. также в других словарях:
Binary tree — Not to be confused with B tree. A simple binary tree of size 9 and height 3, with a root node whose value is 2. The above tree is unbalanced and not sorted. In computer science, a binary tree is a tree data structure in which each node has at… … Wikipedia
Binary relation — Relation (mathematics) redirects here. For a more general notion of relation, see Finitary relation. For a more combinatorial viewpoint, see Theory of relations. In mathematics, a binary relation on a set A is a collection of ordered pairs of… … Wikipedia
Binary numeral system — Numeral systems by culture Hindu Arabic numerals Western Arabic (Hindu numerals) Eastern Arabic Indian family Tamil Burmese Khmer Lao Mongolian Thai East Asian numerals Chinese Japanese Suzhou Korean Vietnamese … Wikipedia
Binary opposition — In critical theory, a binary opposition (also binary system) is a pair of theoretical opposites. In structuralism, it is seen as a fundamental organizer of human philosophy, culture, and language. In post structuralism, it is seen as one of… … Wikipedia
Gottfried Leibniz — Infobox Philosopher region = Western Philosophy era = 18th century philosophy color = #B0C4DE |250px image caption = Gottfried Wilhelm Leibniz name = Gottfried Wilhelm Leibniz birth = 1 July (21 June Old Style) 1646, Leipzig, Electorate of Saxony … Wikipedia
Complexity of constraint satisfaction — The complexity of constraint satisfaction is the application of computational complexity theory on constraint satisfaction. It has mainly been studied for discriminating between tractable and intractable classes of constraint satisfaction… … Wikipedia
ADE classification — The simply laced Dynkin diagrams classify diverse mathematical objects. In mathematics, the ADE classification (originally A D E classifications) is the complete list of simply laced Dynkin diagrams or other mathematical objects satisfying… … Wikipedia
Point groups in three dimensions — In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of all isometries… … Wikipedia
Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it … Wikipedia
Cantor's diagonal argument — An illustration of Cantor s diagonal argument for the existence of uncountable sets. The sequence at the bottom cannot occur anywhere in the list of sequences above. Cantor s diagonal argument, also called the diagonalisation argument, the… … Wikipedia
Computer numbering formats — The term computer numbering formats refers to the schemes implemented in digital computer and calculator hardware and software to represent numbers. A common mistake made by non specialist computer users is a certain misplaced faith in the… … Wikipedia
